Synchronous Reactive Modular Code Generation Project Report
نویسندگان
چکیده
Opaque composite actors with monolithic fire functions can result in inefficient executions of Synchronous Reactive (SR) models because, although the causality interfaces of the composite actors may detect that there are no causality loops, the outside directors have no way of firing internal actors that their inputs are known, as a result SR models are executed several times until fixed points are reached. To improve the performance, we employ a new technique, called modular interface, in which each composite actor could have multiple fire interface functions so that an outside director can invoke appropriate interface functions based on the presence of respective inputs. We implement this with some clustering techniques. In addition, generating a composite actor so that other users do not need to know about the internal structure of the actor without sacrificing performance might be a good approach for intellectual property protection.
منابع مشابه
Compositionality in Dataaow Synchronous Languages : Speciication & Code Generation Compositionality in Dataaow Synchronous Languages : Speciication & Code Generation
Modularity is advocated as a solution for the design of large systems, the mathematical translation of this concept is often that of compositionality. This paper is devoted the issues of compositionality aiming at modular code generation, for dataaow synchronous languages. As careless storing of object code for further reuse in systems design fails to work, we rst concentrate on what are the ad...
متن کاملModular Code Generation from Synchronous Block Diagrams
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools such as Simulink and SCADE. Modularity means code is generated for a given composite block independently from context, that is, without knowing in which diagrams this block is going to be used. This can be achieved by abstractin...
متن کاملModular Compilation of Synchronous Programs
We present a new method for modular compilation of synchronous programs given in imperative languages like Quartz or Esterel. The main idea of our approach consists of computing sequential jobs that correspond with control flow locations of the program. Each job encodes that part of an instantaneous reaction that is triggered by the activation of the corresponding control flow location. The spe...
متن کاملSafety Critical Embedded Systems Design : the SACRES approach 1 2
The SACRES project is an Esprit R&D project, SACRES members are : As its name indicates, SACRES is dealing with the development of new design methodologies and associated tools for safety critical embedded systems. Main targeted users are aeronautics, automobile, process control and energy. Emphasis has been put on formal techniques for modular veriication of the speciications, distributed code...
متن کاملCode generation in the SACRES project
The SACRES project is dealing with the development of new design methodologies and associated tools for safety critical embedded systems. Emphasis is put on formal techniques for modular veriication of the speciications, distributed code generation, and generated code validation against speciications. This is allowed by using a single formal model which is that of the Dc+ format, which provides...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009